Composite Constant Propagation and its Application to Android Program Analysis
نویسندگان
چکیده
منابع مشابه
construction and validation of translation metacognitive strategy questionnaire and its application to translation quality
like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...
Android Application Development & Its Security
In this paper we will look at the Android platform and Android based mobile application development & its security. Further we will look to explore an Android application available in google play store My Notepad. This application is used to save notes by using easy direct manipulation. It is featured with functions as Voice Navigation and Voice Based Searching, it requires internet connection ...
متن کاملStaticization, its dynamic program and solution propagation
Stationary-action formulations of dynamical systems are considered. Use of stationary-action formulations allow one to generate fundamental solutions for classes of two-point boundary-value problems (TPBVPs). One solves for stationary points of the payoff as a function of inputs rather than minimization/maximization, a task which is significantly different from that in optimal control problems....
متن کاملSynthesis of TiO2 Nanoparticle and its Application to Graphite Composite Electrode for Hydroxylamine Oxidation
In this work, sol-gel method was used tosynthesize titanium dioxide nanoparticles (TiO2). The TiO2nanoparticles was characterized by Scanning Electron Microscopy (SEM), x-ray diffraction (XRD) and BET technique.The TiO2 and coumarin derivative (7-(1,3-dithiolan-2-yl)-9, 10-dihydroxy-6H-benzofuro [3,2-c] chromen-6-on) were incorporated in a graphite composite ele...
متن کاملpetrology and geochemistry of khar-bash (western shahrood) and its relation ship to iron mineralization
منطقه مورد مطالعه در 23 کیلومتری جنوب غرب شهرستاشاهرود قرار دارد که در نقشه 100000/1 شاهرود قرار گرفته است.ناحیه مورد مطالعه در تقسیمات ساختاری ایران بخشی از زون البرز شرقی است . در طی سنوزوئیک این زون به شدت تحت تأثیر فازهای کوهزایی آلپی قرار گرفته و فعالیت های آتشفشانی انوسن در قسمت های غربی آن دیده می شود . از نظر ترکیب سنگ شناسی منطقه مورد مطالعه متنوع و بیشتر شامل سنگ های رسوبی مانند : آ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2016
ISSN: 0098-5589,1939-3520
DOI: 10.1109/tse.2016.2550446